A Novel Specification and Design Methodology

نویسندگان

  • Randall S. Janka
  • Linda M. Wills
چکیده

Embedded signal processing system designers need to be able to prototype their designs quickly and validate them early. This must be done in a manner that avoids premature commitment to the implementation target, especially when that target includes costly COTS parallel multiprocessing hardware. A new specification and design methodology known as MAGIC enables the designer to move from an executable specification through design exploration and on to implementation with minimal loss of specification and design information by leveraging compuation middleware (VSIPL) and communication middleware (MPI). Maintaining such information is a quality known as “model continuity,” which is established using the MAGIC specification and design methodology.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

آزمون خودکار نرم‌افزارهای شی‌گرا با استفاده از موردهای کاربری و ضوابط OCL

Test automation is one of the major areas in software engineering. Test automation can reduce the high cost of software development and at the same time increases the reliability of the testing process. In this paper we present a novel specification based framework for automating test process based on use case scenarios. It receives software specification that defined with UML at design level a...

متن کامل

A Novel Specification and Design Methodology of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware

Embedded signal processing system designers need to be able to prototype their designs quickly and validate them early. This must be done in a manner that avoids premature commitment to the implementation target, especially when that target includes costly COTS parallel multiprocessing hardware. A new specification and design methodology known as MAGIC enables the designer to move from an execu...

متن کامل

Rational Design, Synthesis and Computational Structure-Activity Relationship of Novel 3-(4-Chlorophenyl)-5-(3-Hydroxy-4-Ethoxyphenyl)-4,5-Dihydro-1H-Pyrazole-1-Carboxamide

Densely functionalized 3-(4-chlorophenyl)-5-(3-hydroxy-4-etoxyphenyl)-4,5-dihydro-1H-pyrazole-1-carboxamide was  synthesized in an expedient manner through specification and transamidation  respectively, of ester-functionalized pyrazoles. This synthetic protocol allowed for three diversifying steps in which appendages on the pyrazole scaffold were adjusted to optimize inhibition of protein kina...

متن کامل

OPTIMAL DESIGN OF NON-PRISMATIC REINFORCED CONCRETE BOX GIRDER BRIDGE: MINIMIZATION OF THE COST AND CO2 EMISSION

This paper presents a computational framework for optimal design of non-prismatic reinforced concrete box girder bridges. The variables include the geometry of the cross section, tapered length, concrete strength and reinforcement of box girders and slabs. These are obtained by the enhanced colliding bodies optimization algorithm to optimizing the cost and again CO2 emission. Loading and design...

متن کامل

A Design Methodology for Reliable MRF-Based Logic Gates

Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000